检索结果

Select

1. 基于模型的嵌入式开发环境——LambdaMDE

陆少鹏桂盛霖李允罗蕾

计算机应用 2010, 30 (3): 607-611.

摘要（1481）

PDF （844KB）（1075）

面向嵌入式软件的开发工具目前正在从基于代码的传统开发环境向基于模型的开发环境发展。为此，研究了一个基于模型的嵌入式开发环境LambdaMDE，在LambdaPro的基础上集成OSATE和Simulink模型开发工具以及其他相关工具，包含了建模、仿真验证、代码生成和测试等嵌入式软件开发的全过程。符合嵌入式软件开发工具发展趋势，具备了相应的理论、技术和产品基础。

相关文章 | 多维度评价

Select

2. 嵌入式Java反射机制的设计与实现

丘志杰罗蕾

计算机应用 2010, 30 (2): 398-401.

摘要（1321）

PDF （750KB）（1284）

Java反射是提高软件系统灵活性的重要技术，它是Java被视为动态语言的一个关键特性。虽然CLDC规范并不支持反射，但是在基于Java技术的嵌入式领域，反射仍有其应用需求。Sun公司根据CLDC规范发布了一套嵌入式Java技术的参考实现，其虚拟机被称作KVM。通过分析KVM的相关数据结构和机制，详细描述了反射机制的设计原理，并提出了一种在KVM中扩展反射功能的实现方案，经过测试证明该方案是可行的。

相关文章 | 多维度评价

Select

3. 基于UPPAAL的AADL模型可调度性验证

刘倩桂盛霖李允罗蕾

计算机应用 2009, 29 (07): 1820-1824.

摘要（1141）

PDF （809KB）（1396）

针对体系结构分析设计语言(AADL)模型的可调度性验证问题，提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法，并实现了从AADL模型到UPPAAL中模型的模型转换工具。实验结果证明了通过UPPAAL来分析和验证AADL模型的可调度性问题的可行性。相比其他方法而言，基于形式化理论的本方法的验证结果更加精确。